Cs 468 – Winter 2004 5.1 Homotopy
نویسنده
چکیده
In Lecture 4, we learned about an algebraic method for describing and classifying structures. In this lecture, we look at using algebra to find combinatorial descriptions of topological spaces. We begin by looking at an equivalence relation called homotopy that gives a classification of spaces that is coarser that homeomorphism, but respects the finer classification. That is, two spaces that have the same topological type must have the same homotopy type, but the reverse does not necessarily hold. This property should remind you of our definition of a topological invariant. We then continue by looking at a powerful method for understanding topological spaces by forming algebraic images of them using functors. One functor is the fundamental group, the first group description of a space we will see. Unfortunately, this group is hard to compute and may not give us a finite description. It does, however, give us a method for proving that both the homeomorphism problem and the homotopy problem (detecting whether two spaces are homotopic) are undecidable.
منابع مشابه
Cs 468 – Winter 2004 6.1 Chains and Cycles
In Lecture 3, we learned about a combinatorial method for representing spaces. In Lecture 4, we studied groups and equivalence relations implied by their normal subgroups. In this lecture, we look at a combinatorial and computable functor called homology that gives us a finite description of the topology of a space. Homology groups may be regarded as an algebraization of the first layer of geom...
متن کاملSystems of Diagram Categories and K-theory Ii
The additivity theorem for comlicial dérivateurs is proved. Also, to any exact category in the sense of Quillen a K-theory space is associated. This K-theory is shown to satisfy the additivity, approximation and resolution theorems. CONTENTS 1. Introduzione 1 2. Chain complexes, homotopies, derived categories 3 2.1. Definition of the derived category 3 2.2. Homotopy pullbacks and homotopy pusho...
متن کاملCs 468 – Winter 2004 Simplicial Complexes Afra Zomorodian 3.1 Geometric Definition
In the first lecture, we looked at concepts from point set topology, the branch of topology that studies continuity from an analytical point of view. This view does not have a computational nature: we cannot represent infinite point sets or their associated infinite open sets on a computer. Starting with this lecture, we will look at concepts from another major branch of topology: combinatorial...
متن کامل